Národní úložiště šedé literatury Nalezeno 1 záznamů.  Hledání trvalo 0.01 vteřin. 
Analýza stromů spolehlivosti
Masák, Tomáš ; Antoch, Jaromír (vedoucí práce) ; Bejda, Přemysl (oponent)
V práci jsou popsány vybrané procedury analýzy stromů spolehlivosti a jejich aplikace na spolehlivostní analýzu systému. Důraz je kladen především na efektivní nalezení množiny minimálních řezů za dodatečného předpokladu koherence neboli monotonie studovaných stromů spolehlivosti. Jsou představeny jak klasické způsoby hledání minimálních řezů, tak moderní přístupy využívající binární rozhodovací diagramy. Důsledné výstavbě teorie binárních rozhodovacích diagramů ze základní teorie Booleových algeber se podrobně věnujeme. Algoritmy hledání množiny minimálních řezů pomocí binárních rozhodovacích diagramů jsou popsány nejprve teoreticky a následně jsou implementovány v jazyce C++. Powered by TCPDF (www.tcpdf.org)

Chcete být upozorněni, pokud se objeví nové záznamy odpovídající tomuto dotazu?
Přihlásit se k odběru RSS.